27aab1190b2500e9bf8dc9dc2c8fc861c5a55799,extensions/webdav/src/org/exist/webdav/ExistDocument.java,ExistDocument,refreshLock,#String#,675
Before Change
} catch (EXistException e) {
LOG.error(e);
txnManager.abort(txn);
throw e;
} catch (PermissionDeniedException e) {
LOG.error(e);
txnManager.abort(txn);
throw e;
} finally {
After Change
} catch (EXistException e) {
LOG.error(e);
if (txnManager != null)
txnManager.abort(txn);
throw e;
} catch (PermissionDeniedException e) {
LOG.error(e);
//dead code, remove?
if (txnManager != null)
txnManager.abort(txn);
//------------------------
throw e;